interface Animationimport { type Animation } from "https://dotland.deno.dev/x/grammy@v1.31.1/types.web.ts"; This object represents an animation file (GIF or H.264/MPEG-4 AVC video without sound). Propertiesfile_id: stringIdentifier for this file, which can be used to download or reuse the file file_unique_id: stringUnique identifier for this file, which is supposed to be the same over time and for different bots. Can't be used to download or reuse the file. width: numberVideo width as defined by sender height: numberVideo height as defined by sender duration: numberDuration of the video in seconds as defined by sender optionalthumbnail: PhotoSizeAnimation thumbnail as defined by sender optionalfile_name: stringOriginal animation filename as defined by sender optionalmime_type: stringMIME type of the file as defined by sender optionalfile_size: numberFile size in bytes