We’re used to seeing sizes shrink so the manufacturer can avoid a price increase.  A pound of coffee becomes thirteen ounces, a box contains a few ounces less cereal than before, and a half-gallon of ice cream is now only one and one-half quarts. The price stays the same, but we’re getting less for our…