Consulting the librarian
Five minutes later … stumped!