"general quantifier" Deutsche bedeutung