Lecture 9 - From the microscopic theory to Ginsburg-Landau theory