flaggas från alla offentliga byggnader i Berlin.