Merge pull request #294 from jankoboehm/spielwiese

Minimal failing test over ZZ with option prot