timer/scalaris:--:
date:30.08.95:--:
time:05:12:--:
samples::--:
=nhp/anarchy=:--:
copyright1995!:--:
t!|\/|=r:--:
-:--:--:--:-:-timer/scalaris:-date:30.08.95:-time:05:12:-samples::-=nhp/anarchy=:-copyright1995!:-t!|\/|=r:--:--:--:--:-:-