Wie tief darf eine Terrassenüberdachung sein?