Where is / Where is Austria / Where is Hallein

Where is Hallein