Maskeradfesten på Frohsdorf är slut.