what city has a park that launched a hypercoaster on may 12 , 2012 ?
barcelona