Ich habe übrigens, als bis dato nicht Wissender der anzuwendenden Maßeinheit, 8000 (8 m) für die Planetariumskuppel eingetragen…