internet-explorer-user: F11 tippen