cf. auch: Heuboden Heubühne.