Port auf 8083 umgestellt, Maven Wrapper hinzugefügt, docker_push.sh ins Root verschoben

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

.dockerignore

@@ -1,8 +1,9 @@
 # Zugangsdaten duerfen nicht ins Image
 .env
 
-# Build-Artefakte und generierte Dateien
-target/
+# Build-Artefakte und generierte Dateien — nur das fertige JAR darf ins Image
+target/*
+!target/pdf-tool-*.jar
 node_modules/
 src/main/frontend/generated/