Abkürzungen bei Server Namen