Edelhütte, oficiálne Karl-von-Edel-Hütte