Edinburgh gazeteer, or geographical dictionary … .