[soft_dough]

The word I love is "star ball". My local museum has one of these. They're apparently difficult for upkeep, since they've been produced such low volume. There's only a handful of specialists who travel around the country servicing them.

[pimlottc]

There's actually a Wikipedia page [0] (no doubt lovingly curated by beautiful nerds) that has a long list of planetariums with Zeiss star projectors.

But there's still the problem of finding shows where they are actually used...

0: https://en.wikipedia.org/wiki/Zeiss_projector#List_of_planet...