Title: Ein Beitrag zur Formalisierung der inneren dynamischen Vorgänge in Kransystemen während der Hubwerksspiele