Umstellung auf Server mit "normalem" Tomcat statt OpenShift