"Existenzquantor" Englisch