Tatsächlich ist es nur so, dass die mit meinem Xiaomi Redmi 7 aufgenommenen .mp4-Aufnahmen nicht hochgeladen werden können, so wie sie sind.
Ich muss sie nur im mitgelieferten Videoeditor kürzen, auch nur um Millisekunden am Anfang, und speichern.
Es wird ein neues kleineres Video erstellt, dann kann ich dieses neue .mp4 ohne Probleme hochladen.