ANIMO – a tool for animation