Punched card systems and the early information explosion : 1880 - 1945 / Lars Heide