Teufelssee, Železná Ruda (Eisenstein)