Mamut, the hairy elephant, is a rare word. People write Mammut
more often, which is a mall in Budapest.

Change-Id: Icce075b70c4839d5ea948ca1862d7f50c7767ad6