Antyczna mapa "Bitwy pod Pirmasens i Kaiserslautern" (Niemcy) Grawert, 1793