aa) Die Vollstreckungsimmunität gehört in den Bereich des in Art. 30a
SchKG vorbehaltenen Völkerrechts; die Bedingung des hinreichenden Binnenbezugs stellt vom Völkerrecht abgeleitete schweizerische Praxis dar, mithin handelt es um Richterrecht, welches sich zu Gewohnheitsrecht verdichtet
hat (BGE 134 II 122 = Pra 2008 Nr. 105 E. 5.1 und 5.2; OGer ZH, Urteil
PS130067 vom 14. Mai 2013 E. 3.5.3 mit Hinweisen; vgl. auch Schreiben des
EJPD vom 8. Juli 1986 betr.