German judges explain their decision that ad-blocking software is legal