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

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

It can be found at http://archiv.leo.org/pub/rec/games/popeye. Popeye has an
'intelligent' mode, very useful for longer helpmates (it won't do a brutal
search, but instead looks for mating patterns)

Another, commercial, option is Alybadix:
http://www.saunalahti.fi/~iblom/alybadix/

Joost
--
Du hast mein Herz zerrissen, meine Seele geraubt
Das es so enden würde hätt` ich nie geglaubt [Aus der Ruinen -]
Ohne Rücksicht auf Verluste, hast Du meine Welt zerstört [L'Âme Immortelle]
Eine Welt, die vor kurzem nur uns beiden hat gehört