20150918 home.science: Shelters on Mars to be 3D-printed