Ist Martinshorn Pflicht?