Schwulenbann beim US-Militär nun auch formell beendet