Die Mirenhäuser des ehem. Königl. Geodätischen Instituts Potsdam