How to configure time sync (NTP) within a Windows Active Directory. Furthermore special considerations when using virtual domain controllers