HAVEL, VACLAV see Czechoslovakia, Socialist Republic of