4667 ) Rättens ombudsman.