tysk furste , nemligen prinsen af Leiningen.