Das mit der alt-Taste geht tatsächlich. Dann ist das bei mir also mit dem Wechsel von El Capitan zu High Sierra gekommen.