Der Ort Rochhausmühle liegt in Erzgebirgskreis
Daten und Ortsbezeichnungen: © OpenStreetMap-Mitwirkende