"nonempty" Deutsche bedeutung