b) Gemäss Art. 80 Abs. 1 SchKG kann der Gläubiger beim Richter die definitive Rechtsöffnung verlangen, wenn die Forderung auf einem vollstreckbaren gerichtlichen Urteil beruht. Gerichtlichen Urteilen sind gemäss Art. 80 Abs. 2