HAVEL, VACLAV see Czech and Slovak Federal Republic