"proper class" Deutsche bedeutung