Dehn – translated