Thanks for the post. Damn shame those sailors died after the war was over. Reminds me of the Battle of New Orleans.
Technically, no. The Rheims surrender was May 7, the Berlin signing May 8. They would not have been covered by the initial May 4 document.
http://www.ibiblio.org/pha/policy/1945/450506a.html