Gerd Möllmann <gerd.moellmann@gmail.com> writes:

> Later.

I've digged a bit deeper, because it nagged me.

This is the font of the default face in both cases...