Wie hoch muss fließestrich sein?