Kristiansand tukthus, Norway