Last edited January 6, 2020 by Peter Müller • minor correction
Last edited January 6, 2020 by Peter Müller • minor correction
Last edited January 6, 2020 by Michael Tremer • Added overwritten items from Peter
Last edited January 6, 2020 by Michael Tremer • Add log
Last edited January 6, 2020 by Peter Müller • add small agenda item
Last edited January 6, 2020 by Peter Müller • added agenda point
Last edited January 6, 2020 by Peter Müller • added agenda remark
Last edited January 4, 2020 by Michael Tremer • Add agenda