4232 ) Rättens ombudsman.