A origem do nome Hallein é incerta. Alguns especialistas acreditam que o nome é derivado do alemão antigo "hala", que significa "pedra". Outros especialistas acreditam que o nome é derivado do nome da cidade alemã de Hallein.
Clique para baixar essa Imagem