VIRGINIA BEACH, June 1: A longtime city employee opened fire in a municipal building in Virginia Beach, killing 12 people on three floors and sending terrified co-workers scrambling for cover before police shot and killed him following a “long gunbattle,” authorities said.