Heini nach verlorenem WM-Halbfinal: «Einerseits bin ich frustriert, andererseits bin ich stolz»