German GNU and Linux manual pages.