Otto Ernst Rock in memoriam