Christmas Holiday. City Hall and the Library are closed.