Benutzerhandbuch für Samsung 512Mb ECC PC800 Rambus RDRAM