Risolto!
Il suggerimento di Arturs Licis è stato fondamentale. In qualche modo il driver mysql è stato scaricato in modo errato. Sembrava un file .jar, ma non è stato caricato. Tomcat mostrava solo il primo livello dell'eccezione:
java.lang.ClassNotFoundException: com.mysql.jdbc.Driver
[...]
Ma quando ho codificato un helloworld molto semplice con Class.forName("com.mysql.jdbc.Driver"), è stato invece mostrato il seguente errore:
java.lang.ClassNotFoundException: com.mysql.jdbc.Driver
[...]
Caused by: java.util.zip.ZipException: invalid LOC header (bad signature)
[...]
Eureka! L'apertura del file .jar su WinRar mostra che può essere aperto... ma con alcuni errori.
Scaricare nuovamente il driver ha risolto il problema.
Downvote per me stesso :-(