This seems to happen just with this single user and is reproducable, it worked for sure on December 31th
wget -O - -q "https://de.wikipedia.org/w/api.php?format=json&formatversion=2&action=query&list=logevents&leprop=timestamp&leuser=Triebt%C3%A4ter&lelimit=1" | jq .
{
"error": {
"code": "internal_api_error_DBQueryError",
"info": "[68632123-b1af-45fd-85aa-b4237fc6ea67] Caught exception of type Wikimedia\\Rdbms\\DBQueryError",
"errorclass": "Wikimedia\\Rdbms\\DBQueryError"
},
"servedby": "mw1358"
}The same query with a different user with "umlauts" which also is inactive since 2010 works fine
wget -O - -q "https://de.wikipedia.org/w/api.php?format=json&formatversion=2&action=query&list=logevents&leprop=timestamp&leuser=C.L%C3%B6ser&lelimit=1" | jq .
{
"batchcomplete": true,
"continue": {
"lecontinue": "20100317095237|21879267",
"continue": "-||"
},
"query": {
"logevents": [
{
"timestamp": "2010-03-17T09:53:54Z"
}
]
}
}