^2519 ) Gamla torget.