Johanna Mikl-Leitner war vom Kurz-Rücktritt nicht überrascht.