Darauf hätten die Gesuchsteller am 9. April 2018 mitgeteilt, es sei keine Einigung
über den Schiedsrichter erfolgt, und sie würden nun das zuständige Gericht um
Ernennung eines solchen ersuchen (act. 3/5). Anschliessend seien über eineinhalb Jahre vergangen, bis sich die Gesuchsteller am 22. Oktober 2019 erneut te-
-4-