80 Abs. 1 des Bundesgesetzes vom 11. April 1889 über Schuldbetreibung
und Konkurs (SchKG; SR 281.1) kann der Gläubiger beim Richter die Aufhebung des
Rechtsvorschlags (definitive Rechtsöffnung) verlangen, wenn die betriebene Forderung
auf einem vollstreckbaren gerichtlichen Entscheid beruht. Gerichtlichen Entscheiden
gleichgestellt sind Verfügungen schweizerischer Verwaltungsbehörden (vgl. Art. 80
Abs. 1 und Abs. 2 Ziff. 2 SchKG; vgl. DANIEL STAEHELIN, in: Staehlin/Bauer/Staehelin