"non-denumerable" Deutsche bedeutung