Det heter vidare i protokollet: