Thank you for all your input, although I have some problems understanding how this could be a domestic shorthair. Please do not misunderstand me, as I am not questioning your expertise on the matter. It's just that perhaps the photos don't do a good job of showing things.
First, it may not be that visible on the photos, but his hair isn't really that short. Second, when you touch him, it almost feels like you're touching a bird. It is a unique touch I've never felt with any cat, and I've touched many cats. Third, I've found tons of pictures on Google of grey domestic shorthair cats, and not one of them really looks like this one, especially the face.
Again, I'm not saying it can't be a domestic shorthair, and I'm not questioning the knowledge of the posters, but I think that maybe the photos aren't able to give sufficient information.
There are some pictures of young "Nebelung" cats that resemble this one, but Nebelung cats are AFAIK
completely grey, and this one has some white spots mainly on his tummy.
If anyone else could provide additional insight, it would be much appreciated.