I\'m trying to get the number of elements in an already grouped DataFrame that was read from a csv-file. The resulting DataFrame can be depicted like so:
