Bayern-Coach Thomas Tuchel.