OK, ich habe ein paar andere Tastenkombinationen ausprobiert und eine gefunden, die funktioniert. Ich hatte Command- versucht; und Command- '(beide haben nicht funktioniert). Aber Befehl-. scheint zu funktionieren.
Beim Wechseln zu mac-os habe ich als Erstes den Tastendruck von Ctl-f2 auf Command- umgeschaltet. Grund: zu schwierig, um zu Ctl-F2 zu gelangen, wenn ich es hunderte Male täglich verwende.