[09:32:26] --- DrJ has become available
[10:13:26] --- pguenther has become available
[10:15:06] --- pguenther has left
[12:01:53] --- weiler has become available
[12:02:19] --- weiler has left
[12:55:31] --- DrJ has left