Danke für die Rückmeldung. Habe das Terminal bereits mehrfach neu gestartet, gerade eben noch einmal. Leider unverändert:
