DListEntry_2 entry = (DListEntry_2) elements.get(index);
// if we are in a transaction: acquire locks !
TransactionImpl tx = TxManagerFactory.instance().getTransaction();
if (checkForOpenTransaction(tx))
{
tx.markDelete(entry);
}
this.size--;
elements.remove(index);
// changing the position markers of entries:
int offset = 0;