German GNU and Linux manual pages
