man såg efter i protokollet , och det visade sig ,att