( 9937 Rättens ombudsmani