2233 ) Rättens ombudsman.