Vaclav Havel, ein böhmisches Märchen — Cinezo