Stav dette: Elements of functional analysis; v.1.