Der Herbst in Hanoi.