Formelherleitung für Kollision
wip - nonfunctional collisionImplementation
check in for rebase