<<>>
Casco Viejo ist das historische Viertel von Panama-Stadt.