an ancient german city