HK 11 / G8 Markings

The German Army, German Navy and the Federal Police use a variant of the HK11 designated the Gewehr-8 (or G8). Wikipedia
Are these variants stamped as G8s or do they bear the HK11 or 11E markings? Thanks.