\colon entdeckt.

An einigen Stellen auch : gegen \mid augetauscht.