"Theoderik IV. Lotrinsk\u00FD"@cs .