ticket-id: - ec6a501595f1469da4d80b4cfcd78e65 title: - '[PATCH] Fixes German pdf manual generation'