Office365-rest-python-client: Wie greife ich auf Remote-Dateien auf dem Server mit Sonderzeichen in ihren Namen zu?

Ich verwende Ihren Python-Client, um Dateien aus einem SharePoint-Ordner herunterzuladen. Das funktioniert grundsätzlich, allerdings haben einige Dateien ungewöhnliche Namen (mit Sonderzeichen) und bei denen funktioniert der Download nicht. Ein typischer solcher Dateiname wäre beispielsweise Sequenz%2001.mp4#t=0.033333.jpg - das ist nicht codiert, der Dateiname ist genau so.

Wenn ich versuche, unter diesem Namen auf diese Datei zuzugreifen, erhalte ich die Fehlermeldung "Datei nicht gefunden". Aber wenn ich die Datei in test.jpg umbenenne, funktioniert der Download. Ich folge Ihrem Beispiel, um die Dateien herunterzuladen:

FILE = "/Sequenz%2001.mp4#t=0.033333.jpg"  # it does work with "test.jpg" here
# Some more constants for USER, PASS, URL, etc.

ctx_auth = AuthenticationContext(URL)
if ctx_auth.acquire_token_for_user(USER, PASS):
    ctx = ClientContext(URL + SITE, ctx_auth)
    local_file_name = "/tmp" + FILE
    try:
        with open(local_file_name, "wb") as local_file:
            f = ctx.web.get_file_by_server_relative_url(SITE + PATH + FILE)
            f.download(local_file).execute_query()
    except ClientRequestException:
        print("Can't fetch remote file: " + PATH + FILE)

Ich habe versucht, den Dateinamen über urllib.parse.quote() zu zitieren und diesen zu verwenden, aber mit dem gleichen Ergebnis.
Was benötige ich, um auf eine solche Datei zuzugreifen?