Václav Havel Library to open in Prague in 2013.