Eine Ersatzpflicht für einen als Versicherungsfall im Sinne des § 104 SGB VII geltenden Arbeitsunfall ist nach § 104 Abs. 1 Satz 1 SGB VII ausgeschlossen, wenn der Arbeitgeber diesen Arbeitsunfall nicht vorsätzlich herbeigeführt hat. Dabei entfällt der Haftungsausschluss nach § 104 Abs. 1 SGB VII nicht bereits dann, wenn ein bestimmtes Handeln, das für den Unfall ursächlich gewesen ist, gewollt und gebilligt wurde. Für die Annahme der vorsätzlichen Herbeiführung eines Versicherungsfalls ist vielmehr ein "doppelter Vorsatz" erforderlich; der Vorsatz des Schädigers muss nicht nur die Verletzungshandlung, sondern auch den Verletzungserfolg umfassen.