In addition to the current website format, recordings in BigBlueButton are now also available for download as mp4-file.