bergsmansdistriktet , hvilket omfattar Jönköpings,