Dear all, regarding the domain name for the new community portal, there seems to be a considerable majority for termination-portal.org. To keep things simple, Johannes and I decided that for now Aachen should register the domain and keep the server. Best regards from partly-clouded Aachen, Peter