Wie groß muss eine Leiter sein?