红色虉草在欧洲也被称为灰色虉草，虉草是一种小型涉水动物。