Bohrer-Senker-Sätze WS