( 7 88 ) Rättens ombudsman.