@steptoe 1TB SD-Cards are available from SanDisk for about 450 Euro. Of course this is much more than a HDD would cost!, but there are Freaks like me and the Threadstarter, that dont want external Hardware connected to the Pi. Concerning the loading times: i dont care about that. Imo its fast anyway compared to loading times of a C64 😊 I does not matter to me if a game loads in 2.5 or 2.2 seconds ☺ But of course thats my cup of tea, everyone should do as he like!

@herb_fargus i have looked in the Docs page and i have looked alot of other places to get it on my internal HHD but i have found nothing