Punch-metal cover for an industrial building.