Danke Euch!
Problem gelöst: Eine Erweiterung von Safari must bei den Settings auf "old API" gestellt warden. Was auch immer das heisst.
Jetzt gehts wieder.