krop ist ein einfaches grafisches Werkzeug, um die Seiten von PDF-Dateien zu beschneiden.