DOMA is Done, by 5-4 Decision