Is this product "https://www.digitec.ch/de/s1/product/sony-playstation-5-digital-edition-inkl-astro-bot-spielkonsole-54753887" the PS5 'Slim' version (The same Playstation as "https://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? (I'm new to the console world)