"non-empty" Deutsche bedeutung