"decidable" Deutsche bedeutung