On a 5-design related to an extremal doubly even self-dual code of length 72
scientific article; zbMATH DE number 2083264