„Marsmaulwurf“ soll tiefes Loch in den Roten Planeten hämmern