Vitali covering theorem - not covering enough! JAlbum 8.0