Mario in the German media