Stav dette: A theoretical treatment of the sliding of glaciers in the absence of cavitation.