19. March 2017 texfragen.de Sorry for the blurry screenshot – it’s due to a DPI issue of a “retina” screen.