( gamla elementarlärowerkshuset ).