At the end of the day at #dagstuhl ... a lot of work and a lot of fun...
Good bye ...
This server is meant to be a haven for people who research and apply both computer science as well as mathematics, in particular algebra, and their fans ;)