German GNU and Linux manual pages.
