7236 ) Rättens ombudsman.