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