Wie hoch sollte Terrassendach sein?