What was the codename given by the Germans for the plan to invade Britain during WWII?

History Trivia: What was the codename given by the Germans for the plan to invade Britain during WWII?