“ * ) Gammal benämning på Boxholms bruk.