Wie groß darf eine Estrichfläche sein?