Title: Sind Choleradejectionen ansteckend oder nicht?