Интересные факты о комедии «Иван Васильевич меняет профессию»