Dissecting the square into five congruent parts

We give an affirmative answer to an old conjecture proposed by Ludwig Danzer: there is a unique dissection of the square into five congruent convex tiles.