Första maj i Hamburg.