namn af Redaktionsutstottet gransta protokollerna,