Musicals set at least partially in Berlin.