Contributed german translation.