Wie groß muss ein Treppenhaus sein?