Ingen kolera i Gibraltar.