Václav Havel resigns as President of Czechoslovakia.