chiark / gitweb /
dev-ref: add doc-base file for the German translation