Instead, I asked on the MSDN forums, where I received a reasonable response:
A database won't be created by Entity Framework until the first access. The present section of code in
outlines simply the approach to use while building the database on the initial access.
An instance of the database context must be generated in order to start the construction of the database, and
has to be used.