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