Aufzeichnungen in BigBlueButton werden nun auch als mp4-Datei (Button „Video”) zum Download bereitgestellt.