Ingen kolera i Berlin.