Häraf erhöll holmen namn af Gråmunkeholmen , hvilket namn denbibehöll