4617 ) Rättens ombudsman.