En tid före jul hade den röda brigadensgossar