In the meantime I have found a workaround for exporting animations. I can still export all the stills and easily import them into Shotcut (an open source video editor) where I can set the desired framerate and export in a wide variety of video formats. But it would still be nice to be able to access the additional options in the Output panel 
