Der Ort Teufelsmühle liegt in Landkreis Freudenstadt
Daten und Ortsbezeichnungen: © OpenStreetMap-Mitwirkende