Wie lang ist das Rohr eines Horns?