a) Der Rechtsöffnungsrichter hat grundsätzlich nur zu prüfen, ob die in Betreibung gesetzte Forderung auf einem definitiven Rechtsöffnungstitel beruht,
d.h. ob Bestand, Höhe, Fälligkeit und Betreibbarkeit der Forderung durch den
Rechtsöffnungstitel ausgewiesen sind (Jolanta Kren Kostkiewicz, OF-
Kommentar zum SchKG, 19. Aufl., Zürich 2016, N 2 f. zu Art. 80 SchKG; Peter
Stücheli, Die Rechtsöffnung, Zürich 2000, S. 118). Hingegen hat er weder
über den materiellen Bestand der Forderung (statt vieler: Urteil BGer vom
2. April 2014, 5D_201/2013, E. 4.1) noch über die formell korrekte Anhebung
der Betreibung (Peter Stücheli, a.a.O., S. 118) zu befinden.