7422 ) Rättens ombudsman.