Yes, the pictures are a bit grainy, as I mentioned, they were taken at ISO 5000! It’s partly my fault, because I didn’t take the time to sharpen properly, I used the built-in sharpening from FastStoneImageViewer which doesn’t allow masking, it sharpens everything, including the noise… 🙁
(I did sharpen it in Lightroom as part of my regular work-flow, the sharpening in FastStone was applied after resizing the picture.)