Vaclav Havel died.