Das abgerissene Gerätehaus von Oberweißenbrunn