Wie hoch darf Terrassenüberdachung sein?