/*
   * see also count() below !
   */
  int size()