Und außerdem ist es egal was es für eine Hütte war oder ist, denn im allgemeinen Sprachgebrauch der hiesigen Bürger sagt man eben "Hütte" oder "Zinkhütte".

Gruß Toni