4722 ) Rättens ombudsman.