A multiplication operation for the hierarchy of norms. - Alexander C. Block; Benedikt Löwe (Ann. Pure Appl. Log., 2018)