_{MsgOldestLdapSynchronisation}

$maybe time <- oldestLdapSync' #{time} $nothing _{MsgNever} ^{ldapSyncView}