Boxersenf gab es auf jeden Fall bis Ende der Fünfziger Jahre, vielleicht auch noch später. Wurde in der Gastwirtschaft meiner Eltern neben der Sorte "Haferkamps Mostert"verwendet. Gibt es leider auch nicht mehr. Auf dem Etikett des Boxer Senf war übrigens der Kopf des Boxer-Hunds abgebildet, soweit ich mich noch erinnere.