What day did world war ii in europe officially end