work SFB/TRR 280 DFG Collaborative Research Centre SFB/TRR 188 DFG Collaborative Research Centre open source Simplicial Surfaces GAP Package GAPic GAP Package CrystFundDom GAP Package