Is Berlin still formally occupied, and if not, when did the Allied
occupation of Berlin formally end?  My memory is that it was still
nominally/legally occupied when I was there in 1987.

Hello,

Good question! From the following links I establish that the date was
1990. See the WWII Timeline link below. Then from the United States
Office of Personnel Management, they narrow the dates of occupation by
listing qualifying operations for veteran status. According to their
website linked below, the Army Occupation of Berlin was from May 9,
1945 to October 2, 1990.


Additional Links:

WWII Timeline:
http://www.worldriders.com/world/germany/time.htm

Wars, Campaigns and Expeditions of the Armed Forces Since WW II Which
Qualify for Veterans' Preference:
http://www.opm.gov/veterans/html/vgmedal2.htm


Search Strategy:

berlin occupation germany on google:
://www.google.com/search?q=berlin+occupation+germany

1990 berlin occupation on google:
://www.google.com/search?q=1990+berlin+occupation


Thank you for the opportunity to answer your question, if you require
more information, please clarify the question, or if you find this
answer satisfactory, please feel free to rate it. Thank you!
 
skermit-ga

Full and complete answer, including hints for how I should have found
it myself.  Thanks!