@The5thSeraph
Its licensed by J-novelclub I think the light novel at least, and that's about as official as names get in these series for translations at least, though I don't personally dislike them being called rentt and lorraine at least it Isn't like in fate where they have abominations like...