Yepp, both look good:
pi@piaware:~ $ lsusb
Bus 001 Device 005: ID 1d19:1101 Dexatek Technology Ltd. DK DVB-T Dongle
Bus 001 Device 004: ID 7392:7811 Edimax Technology Co., Ltd EW-7811Un 802.11n Wireless Adapter [Realtek RTL8188CUS]
Bus 001 Device 003: ID 0424:ec00 Standard Microsystems Corp. SMSC9512/9514 Fast Ethernet Adapter
Bus 001 Device 002: ID 0424:9514 Standard Microsystems Corp.
Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
pi@piaware:~ $ top
top - 11:43:22 up 1:50, 3 users, load average: 0.20, 0.19, 0.21
Tasks: 110 total, 1 running, 109 sleeping, 0 stopped, 0 zombie
%Cpu(s): 4.1 us, 0.8 sy, 0.0 ni, 95.0 id, 0.1 wa, 0.0 hi, 0.1 si, 0.0 st
KiB Mem: 948016 total, 269548 used, 678468 free, 74012 buffers
KiB Swap: 0 total, 0 used, 0 free. 111336 cached Mem
PID USER PR NI VIRT RES SHR S %CPU %MEM TIME+ COMMAND
1585 root 20 0 25480 6684 1708 S 16.8 0.7 4:55.41 dump1090
1649 pi 20 0 5108 2516 2164 R 11.2 0.3 0:00.06 top
1 root 20 0 5476 3908 2740 S 0.0 0.4 0:05.24 systemd
My antenna is just this little thing that came with the dongle: amazon.de/dp/B009HR8D38