pagination for query results

[ausgerechnet]

if there are many (several thousand) query results, the result table takes forever for loading. this should be handled by reasonable pagination, preferably completely by the frontend (so I don't have to deal with it)

[mgttlinger]

In the current architecture, this is difficult to impossible as the backend renders the HTML and the frontend simply embeds it into the page. Doing pagination in the backend wouldn't reduce the load time and the frontend can't really do it. There might be possibilities to use streaming but I have little knowledge in that field.