🥔 Hans Peter Hallwachs as Mario