[18:53:07] --- ekr has become available
[18:56:23] --- sommerfeld has become available
[19:46:33] --- ekr has left: Disconnected