stadshuset 7 , 000 ).