Ein Beitrag zur Formalisierung der inneren dynamischen Vorgänge in Kransystemen während der Hubwersspiele