Hat die Tegernseer Hütte geöffnet?