Use Jenkins timestamps instead of Maven logger with dateformat

At least the platform build uses Maven logger to show the timing of the build, see
That adds the current time in front of each Maven console line.

I would rather like to have the Jenkins timestamps plugin be enabled _globally_ and the logger removed afterwards: https://plugins.jenkins.io/timestamper/ That would have the benefit of showing timestamps for each line of the build (not just Maven), for every project being built on this Jenkins instance, and being able to switch to "runtime" instead of "current time".

However, that would obviously require installation and configuration of the plugin on Jenkins, not only code changes here. What's the right way to trigger (and discuss) that? Should I raise a gitlab issue?

Das Issue nennt keine Repository-Dateien oder Tests; beginne damit, die Konfiguration der Jenkins-Instanz und die Maven-Logger-dateformat-Einrichtung zu finden. Kläre mit den Projekt-Maintainern, wo Jenkins-Plugins verwaltet werden und ob ein GitLab-Issue erforderlich ist; abgeschlossen ist die Aufgabe, wenn das timestamps plugin global aktiviert und die vorhandene Logger-Konfiguration entfernt wurde.

Vom Indexierungsmodell aus dem Issue-Text verfasst.