Tatsächlich waren es 12,1 Milliarden.