This paper formalizes the price and asset allocation mechanism of multi-unit double auctions in Xetra, the electronic equity trading system operated by the German stock exchange. The trading principles are embedded into the classical theory of quantity rationing. The properties of Xetra auctions are investigated and possibilities to improve the auction mechanism are discussed.