Die alte GitHub-PR#14 kollidiert mit der Gitea-Nummerierung, die nach dem Umzug bei 1 neu beginnt; PR#16 ist die tatsächliche Nummer auf git.javagil.de. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>