Hi all, Alright, we have a new year and I forgot a national US holiday again which is on Monday. :/ As it is quite late to find a different meeting day/time next week let's keep the meeting as was planned. US-based folks feel free to take the day off and skip the meeting. (Thanks Isa for reminding me, I try to get better at that business, promised) Georg