Thank you, Martin, for pointing out these two different setups. We are working with Central Development; every developer connects hiw designer to the same central IS.
I will look into the manuel that Holger referred to, in order to better under stand the Local Service Delopment setup.
Thank you!