Dutch hospital gives patient new plastic skull, made by 3D printer | Hacker News Reader