Hauptstraße on Armstorf map