"procedure specification" Deutsche bedeutung