Hätte auch gedacht, dass der Schiedsrichter da etwas beherzter hätte eingreifen können.

Da er das nicht tat - wieso sollte Krul aufhören. Passieren kann ihm auch nicht wirklich viel - evtl. eine gelbe Karte - eher weniger dramatisch in dieser Situation.
Von daher ...