This is the product of a semester project carried out jointly by Hanqiu Li Cai and Juan Tarazona Rodriguez as part of their study program at ETH Zürich. This repository remains an unofficial ...