SPASS MIT PR-KERL ...