Jernmasken var på 1690-taletinnesluten