That's true for pretty much most of Europe, in my experience; though as you move further north it's during July instead of August. The most common here in Denmark is the last three weeks of July.

I really like working in July, the whole city is empty and nobody bothers me because they're on vacation :)