“Christian Lindners Zeit als FDP-Chef geht zu Ende.