Erneuerung der Bühnenhütte am Hochsteinberg