>From Wikipedia
Veterans <http://en.wikipedia.org/wiki/Veterans_Day> Day Veterans Day marks the anniversary of the end of World War I (major hostilities of World War I were formally ended at the 11th hour of the 11th day of the 11th month of 1918, when the Armistice with Germany went into effect). >From HISTORYnet.com World <http://www.historynet.com/world-war-i-wasted-lives-on-armistice-day.htm> War I: Wasted Lives on Armistice Day On November 11, 1918, Armistice Day, the American Expeditionary Forces (AEF) on the Western Front in France suffered more than thirty-five hundred casualties, although it had been known unofficially for two days that the fighting would end that day and known with absolute certainty as of 5 o'clock that morning that it would end at 11 a.m. Bob
--------------------------------------------------- https://lists.uni-koeln.de/mailman/listinfo/sundial
