QSolid and QuBRA – newly funded BMBF projects with ML4Q members