Die Hauptstation für Erdbebenforschung in München