"manyvalued" Deutsche bedeutung