Koleran i Europa och de grundligakarantänsåtgärderna