an imperial city of Germany, fifteen miles north of Frankfort on the main.