Webbrowser Vivaldi in Version 1.12 veröffentlicht