Claus van de Vlierd wrote:

b) are there any help-mate-programs which could do such "proof-reading" ?!
and where can one get them ?!

Fritz has a mate-solving engine included that does helpmates. Solutions
are *not* given in the traditional way (as far as I remember), but as
analysis trees.

Problemiste does, though there are unfortunately some minor problems
with it: checks in the next to last are not notated (i.e. the '+' is
missing), and require manual checking. (http://perso.wanadoo.fr/problemiste/
-- not freeware, though.)

Popeye -- and it's freeware. (I think there's a windows GUI front
end or two to it somewhere.)

--
Anders Thulin http://www.algonet.se/~ath