Ein Banachraum.