@Johannes, are you sure that you can change it that easily? I remember that it needed a server admin’s involvement in this case.