Es stellt sich heraus, dass dies ein weiteres eindeutiges Symptom für Dock
gelegentlich auftretende Störungen ist (wie der Verlust von ⌘→und ⌘←). Die Lösung ist einfach: Beenden Sie den Dock
Prozess (es startet automatisch neu), indem Sie dies tun
killall Dock
auf dem Terminal (Terminal.app kann mit spotlight gefunden werden; es befindet sich in / Applications)