Thanks for a tip! I'll try Vampire and post the results here soon.