After a year of less-than-stellar ticket sales, the German-language translation of Lin-Manuel Miranda’s stage hit is closing. But it has helped diversify German musicals.