( Jrafinomillienter af olika granitsorter , polerade och opolerade , samt af marmor , sandoch kalksten.