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...