CfA -- Mathematical Logic in the Netherlands (MLNL) in Groningen