OpenQuake input files for the European Seismic Hazard Model [2013]