Warum wurde die Große Koalition nach der Bundestagswahl 2017 gebildet? eine Analyse der Regierungsbildung mit Modellen formaler Koalitionstheorie - Graichen, Robin