Wie lautet die Vollstreckbarkeitsformel beim Leistungsurteil auf Zahlung eines Betrages über 1.250 Euro?