Duitse beurs schiet door de grens van 9000 punten