I nämnda protokoll heter det: