in memoriam Onno Groß, 12.6.1964 - 4. Oktober 2016

//