Bigger picture
For once, I was successful with a photo after dark. It appears to be a good idea to reduce the exposure when taking the picture, and then increase the brightness when post-processing.