Docker-Build hinzugefügt

Dockerfile (JRE-21-Image mit Zeitzone Europe/Berlin, erwartet ein
vorgebautes JAR), .dockerignore und docker_push.sh für den Push in die
Registry.

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

src/main/java/de/assecutor/pdftool/ui/MainView.java

@@ -152,7 +152,6 @@ public class MainView extends VerticalLayout {
             if (event.isFromClient() && event.getValue() != null) {
                 loadDraft(event.getValue());
             } else if (event.isFromClient()) {
-                // Auswahl entfernt: es gilt wieder "keine Vorbelegung geladen".
                 loadedDraftState = null;
                 updateSaveDraftEnabled();
             }