All streets from Gartenstraße to Gundhollingerstraße in the Cadastral Municipality of Mining