Elias Tsirimokos becomes Prime Minister of Greece.