Arbeitsspeicher: Samsung startet 12nm-DDR5 Serienproduktion