Der offizielle Name der Hütte ist "Heinrich-Kohl-Hütte" So steht es auf einem Schild über der Eingangstür. Ich habe das heute Mittag vor Ort überprüft. Der Name dürfte aber kaum bekannt sein. Wanderer fragen wohl besser nach der "Stiefeler Hütte".