Erfurt.de - Ortsteil: Hochstedt

http://wayback.archive.org/web/20110720121823/http://www.erfurt.de/ef/de/rathaus/orte/verwaltung/01110.shtml

Erfurt.de - die offizielle Seite der Landeshauptstadt Thüringens