Karamba Tutorial: Introduction