Hallein: Salzbergwerk in de Dürrnberg, de mijn bevindt zich half op Duits, half op Oostenrijks grondgebied