@article{2015:verein_deutscher_ingenieure_gesellschaft_fr_technikgeschichte:werkzeu,
title = {‚Werkzeuge der Geschichte‘},
year = {2015},
note = {},
journal = {TG Technikgeschichte},
pages = {137--156},
author = {Verein Deutscher Ingenieure, Gesellschaft für Technikgeschichte},
volume = {82},
number = {2}
}