Trithione- and isotrithionedithiolate. A new class of unsaturated 1,2-dithiolates. IV. The crystal structure of dipotassium 1,2-dithiole-3-thion-4,5-dithiolate, K2C3S5