How to make Ubuntu recognize an unknown external display (so I can adjust its resolution)?
The monitor cable was loose.
When I removed the cable and firmly plugged it in again, everything suddenly worked.
The monitor was recognized, and now I am using my previously desired resolution:
I feel kind of silly, because I never thought merely touching a loose cable would be of any help.