東芝の芝って芝浦の芝だったのか！
今知ったわ