Böckenförde-Theorem