Additional material for the FHE course PRG 3 in WS13/14