<<>>
  Der Panamakanal.