"procedural specification" Deutsche bedeutung