En tid före jul hade den rödabrigadens