Spaß - Wiktionary, the free dictionary Spaß m (strong, genitive Spaßes, plural Späße, diminutive Späßchen n or Späßlein n) (uncountable) fun Spaß haben ― to have fun Spaß machen ― to be fun (countable) joke sich einen Spaß erlauben ― to make a joke, to play a prank (colloquial, humorous or derogatory) Stands in for an often well-delimited or well-established process or transaction, often sarcastically to imply that
SPASS Workbench - Max Planck Society Starting from Version 4 0 SPASS is no longer distributed as a monolithic first-order theorem prover but as a workbench of tools where the successor of the classic prover is simply one component