Havel during the Velvet Revolution