"Orientering om ombudsmandens redegørelse vedrørende ytringsfrihed for medarbejdere i Danmarks Radio", fra Folketingets Ombudsmand