Display on HDMI-connected TV too large

[Sebastian Beßler]

> Try the autosize button on the TV. If it doesn't have a dedicated button
> for it, find the equivalent in its menus. If it doesn't have that either,
> resize manually.

Oh I wish I could do any of this.
My TV lets me only resize when it runs in PC mode (that is if it is
connected via 15pin vga cable) not in any other mode.

Greetings

Sebastian