Columbus Ohio Its History, Resources, An by Jacob H. Studer