Das Zeiss-Großplanetarium wird in diesem Artikel gar nicht genannt und ist auch nicht gemeint. Es ist dort also soweit alles richtig. Auf dem Planetarium am Insulaner steht Zeiss Planetarium, weil dessen Projektor ebenfalls von der Firma Zeiss ist. -- Lotse 21:34, 12. Nov. 2017 (CET)