Production or use of a mask