Men den tyska venstern svek.