Bleibt Thomas Tuchel nun doch der Bayern-Trainer?