Wie lang soll ein Dunstabzugsrohr höchstens sein?