Is Otto Short For Another Name