On 15.06.2018 20:57, Michael Eckert wrote:

this was a tough decision but unfortunately I have to shutdown the mirror mirror.michael-eckert.net without a replacement.

I've removed the listing. Thank you!

Florian