a) Auszieh-Bühne, also eine Bühne, die sich nach Bedarf verlängern oder verbreitern läßt;

b) bestimmtes, um nicht zu sagen gewisses, Deck auf Kreuzfahrt-Luxus-Linern.