"decision procedure" Deutsche bedeutung