Hallein: Salzbergwerk in de Dürrnberg