@Ingo_Richtsmeier I can confirm that this works very nicely!
One thing I stumbled on, and maybe this is obvious to longtime users of Spring, but I had to follow https://docs.spring.io/spring-boot/docs/current/reference/html/howto.html#howto-traditional-deployment in order to deploy the built WAR file on Tomcat.
You guys rock