Solving Behting's study

I got a mail saying that the engine "Patzer" has been known to resolve Behting's study ?!

I could not find any weblocation on this engine. Anyone can help finding more details on this engine. Is it freeware ?