Re: [Kitodo] kitodo.production 3.2 linux version / tomcat version