Das im Jahr 1972 fertiggestellte Gerätehaus