Ingen kolera i Hamburg.