Geschmorter Spitzkohl, Grober Senf