Gartenhaus, Gerätehaus Gerbrunn