The ERESE project: Bridging the gap between Digital Science Libraries and Education through Professional Development of Teachers and Database Development