Noncommutative Gröbner bases in Polly Cracker cryptosystems by Andreas Helde