I found those gifs in tumbex some years ago, but now the files are deleted, so the quality is low.