Exporting webgui animations

Hello,

How does one save an individual animation displayed using ngsolve.webgui as an mp4 or mpeg file (for example the animation displayed in the last cell of the tutorial ngsolve.org/docu/latest/i-tutorials/wta/navierstokes.html )?

Thanks!

Best regards,
Brian