maguntino (adjetivo): Originario, relativo a, o propio de Maguncia, Alemania.