Czy ktoś z Was wie konkretnie skąd się biorą te potoczne nazwy turbin IHI? IS12, IS20, IS38?