Where does “ef” come from?

ef (Old Saxon) comes from Proto-West Germanic *jabē, from Proto-Germanic jabai, from Proto-Indo-European ē- — then, at that time.

ef (Old Saxon): if, when