a town of Swabia, in Germany, ten miles north of Constance.