Ist das Michelin Männchen dünner geworden?