How far performed Vaclav Havel's