»Geht der Tatrichter von einer bestimmten Trinkmenge des Angeklagten aus und hat er daraus nach der Widmark-Formel eine (realistische) Tatzeit-BAK errechnet (3,39 o/oo), so ist für eine Kontrollberechnung mit höheren Abbauwerten kein Raum. Der Prüfung, ob die Voraussetzungen des § 20 StGB vorliegen, ist vielmehr der errechnete BAK-Wert zugrundezulegen.«