Stav dette: Planar graphs: theory and algorithms