How to export video (animation) from ParaView using a Python shell?

Hello!

My work in ParaView is related to the use “Animation View”.
Also, I use the additional features of ParaView and it requires writing code in “Python shell”.

Is it possible to export а video (animation) from ParaView using a “Python shell”?
(For example, in *.avi or any other video format.)

Hope for help.