Stav dette: Elementary theory of metric spaces