Wie hoch muss ein Wand WC sein?