How many numbers does a german mobile number have