Software server (Lehrstuhl B für Mathematik, RWTH-Aachen)