Mejselen, ældre navn for stjernebilledet Gravstikken.