Size of poolallocator is now in number of values and not bytes.

[[Imported from SVN: r5385]]

common/poolallocator.hh

@@ -244,7 +244,7 @@ namespace Dune
        * @brief The size in bytes to use for every memory chunk
        * allocated.
        */
-      size=s
+      size=s*sizeof(value_type)
     };
 
     /**
@@ -349,7 +349,7 @@ namespace Dune
     /**
      * @brief The underlying memory pool.
      */
-    static Pool<T,s> memoryPool_;
+    static Pool<T,PoolAllocator::size> memoryPool_;
   };
 
   // specialization for void
@@ -526,7 +526,7 @@ namespace Dune
   }
 
   template<class T, std::size_t s>
-  Pool<T,s> PoolAllocator<T,s>::memoryPool_;
+  Pool<T,PoolAllocator<T,s>::size> PoolAllocator<T,s>::memoryPool_;
 
   template<class T, std::size_t s>
   inline PoolAllocator<T,s>::PoolAllocator()