imported the source from openclonk.org