Man pages matching name tvtime.xml in section 5:

tvtime.xml.5.de	debian 10 / tvtime
tvtime.xml.5.en	debian 10 / tvtime
tvtime.xml.5.es	debian 10 / tvtime
tvtime.xml.5.de	debian 11 / tvtime
tvtime.xml.5.en	debian 11 / tvtime
tvtime.xml.5.es	debian 11 / tvtime
tvtime.xml.5.de	debian 12 / tvtime
tvtime.xml.5.en	debian 12 / tvtime
tvtime.xml.5.es	debian 12 / tvtime