"Der Zauberberg", Staatstheater Dresden, 2020