Wat is een hoornpijp in muziek?