Havel’s Velvet Revolution jacket goes for millions