III. 1. Gemäss Art. 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 [Hrsg.], Basler Kommentar, Bundesgesetz über Schuldbetreibung und Konkurs I, 2. Auflage, Basel 2010, N 3 ff. und 101 ff. zu Art. 80 SchKG).