Was wird aus Gerätehaus?