Firefox 18 und FlshPlayer