7424 ) Rättens ombudsman.