#Generated by Git-Commit-Id-Plugin
git.build.time=2026-05-14T15\:23\:56+0200
git.build.version=2.0.0
git.commit.id.abbrev=72b385f
git.commit.id.full=72b385fa160fc32b4228da727baaedf0514eca7f
