"Ruppia mantua" var.