13 Cafeterien kochen täglich 50.000 Mahlzeiten für die 37.000 Mitarbeiter aus. Oder man kocht sich Ramen auch einfach selbst.