Afslutad murarstrejk i Hamburg.