Zwiebeln und Karotten schälen. Zwiebeln in Halbringe und Karotten in Scheiben schneiden. Das Schinkengulasch in einem Topf in der Butter anbraten. Rinderbrühe, Sojasoße, Bier, Honig, Zwiebeln, Thymian, Knoblauchpulver, Senf, Karotten und Lorbeerblatt in den Topf geben und zum Kochen bringen. Nach Belieben Pfeffer dazugeben. Sobald es kocht die Temperatur auf kleine Stufe stellen und 2 Stunden und 30 Minuten leicht köcheln lassen.