Isabelle Animation WIP #2
Added 2022-09-14 12:45:00 +0000 UTCI removed the tail for the moment, to add it later.
I removed the tail for the moment, to add it later.
