@Felthry I don't even know if carnival is the same as the German Karneval
@noiob I have no idea either! When you mentioned it the other day we just assumed it was the same as the Brazilian Carnival
@Felthry well yeah but other than that premise I doubt that the two have a lot in common, though I admittedly don't know much about Brazilian carnival, I should read up on that first (but not now I gotta sleep 😄)
@noiob wikipedia also says that mardi gras is the same holiday too though and we disagree with that even if it's on the same day and celebrates the same thing (namely "let's eat a lot of stuff before the fasting season starts")