utnämnts danske riksantiqvarien Bricka.