cf. Holzschuppen Holzschopf.