Stav dette: The Contiguous Art Gallery Problem is Solvable in Polynomial Time