( 7820.y Rättens ombudsman,