As the Windows Python doesn't seem to accept *.png in PhotoImage(TKinter), I
converted them to gifs.