[2020-07-05 23:51:13 CEST] * zx81jens joined
[2020-07-05 23:54:13 CEST] * zx81jens quit (ping timeout)