Don't print anything if tests run OK and *PRINT-DEFINITIONS?* is NIL.
Don't print anything if tests run OK and *PRINT-DEFINITIONS?* is NIL.

SvenMichaelKlose/tre,SvenMichaelKlose/tre,SvenMichaelKlose/tre