Jezero Leopoldsteiner, Eisenerz, Rakousko