German plays in English translation : a stock-list of texts available in