German GNU and Linux manual pages