Lyrics font size in ossia Staff

[Rutger Hofman]

Good morning list,

I have a Staff with an Ossia Staff above it, and the music font for the 
ossia Staff is smaller \with { fontSize = #-3 }. But in that ossia 
staff, the Lyrics (with addlyrics { } after the notes) are still the 
original font size. How can I reduce the Lyrics font size accordingly?

Thanks,

Rutger Hofman
Amsterdam