( 1235 ) Rättens ombudsman.