Michael Laurenz als „Vašek / Wenzel“ in „Die verkaufte Braut“