Berlin i juli månad.