Wie lang darf das Rohr einer Dunstabzugshaube sein?