Is this product "www.digitec.ch/de/s1/product/sony-playstation-5-digital-edition-inkl-astro-bot-spielkonsole-54753887" the PS5 'Slim' version (The same Playstation as "www.digitec.ch/de/s1/product/sony-playstation-5-slim-digital-edition-spielkonsole-39726222"? Visually it looks like it's the PS5 Slim, but the name is different. Or am I missing something? (Am new to the console world) (This question is Copy & Paste, due to formatting)