Super Mario World (German, RTL)