Western Digital übernimmt SanDisk für 19 Milliarden US-Dollar