We model centralized school matching as a second stage of a simple Tiebout-model and show that the two most discussed mechanisms, the deferred acceptance and the Boston algorithm, both produce inefficient outcomes and that the Boston mechanism is more efficient than deferred acceptance. This...