Wortproblemsprachen für freie inverse Monoide