GGX80 PAL model
The command http://192.168.54.1/cam.cgi?mode=setsetting&type=videoformat&value=mov bring the menu up in the camera.
I can start a record and a file .mov (21 Mo for 15 sec) is generated with: http://192.168.54.1/cam.cgi?mode=setsetting&type=videoquality&value=mov_25p_200mbps
But the files does not play in VLC.
At this point, you can't switch to MP4 or AVCHD Menu when you are in the video mode even if you reboot the camera, to bring back the original menu just set the value to mp4 or avchd.
I didn't take a picture, but there is nothing (black screen) in the menu Rec Quality.