Fix #141: re-enable German docs.