"program logic" Deutsche bedeutung