  Using the Hermitian tensor product description of the extremal even
unimodular lattice of dimension 72 found by Nebe in 2010 we show its
extremality with the methods from Coulangeons article in Acta Arith. 2000.
