"allocatable, determinable, decidable" Deutsche bedeutung