**** BEGIN LOGGING AT Tue Aug 02 02:59:57 2022
Aug 02 16:10:24 <joerg> damn spammers :-/
**** ENDING LOGGING AT Wed Aug 03 02:59:57 2022