Minor smaller text changes, especially in German translations