[new index structure] Bugfix in PagedBTreeNode: BufferManager observes node now in any case.