a town of Luxemburg, seven miles north-west of Treves.