Christensen blef borgmästare i Stavanger , hade staden omkring 4,000 invånare , medan den räknade 25,000 invånare , då han tog afsked.