en viss högtidlig stämning i tukthusets förgallrade arbetssalar.