Kirill Petrenko wird Generalmusikdirektor in München