--shell-escape wird fuer minted packet benoetigt