Erregistroa posta elektronikoz bidali: Punched card programming and recording techniques employed in the automation of the WGTA