"La mejor del mundo": así es la pileta de 144 millones de euros que Budapest construyó en tiempo récord para el Mundial de Natación