De nämnda stenhusen på Helgeandsholmen,