Puskás, a musical