cambió su nombre oficialmente por Heckler & Koch GmbH.