Der frühere Präsident des Obersten Gerichtshofs, Andras Baka, übernimmt das Amt als ungarischer Staatschef.