Efterspel till murarestrejken i Berlin.