det — en ovanligt behaglig teaterafton i går.