Berlin trauert.