Warum heißt es Martinshorn?

/ Kinder-Podcast "Radio TEDDY-Nachgefragt"